Personalized And Situation-Aware Recommendations For Runners

The project uService investigates the transformation of a mobile user into a service super prosumer, i.e., a producer, provider and consumer of services at the same time. The goal is to develop a platform which enables a user to create, discover and consume mobile services anywhere and at any time on the mobile device. uRun is an application scenario of the project in the field of mobile health and fitness. The uRun framework provides a mobile assistance system particularly for runners, which combines Web 2.0 and Web 3.0 technologies and personalized and situation-aware recommendation mechanisms. The ability to create individual and mobile health and fitness services as well as a personalized and situation-aware assistance system based on a semantic knowledge base are considered to provide an edge over existing consumer-centric health care systems. In this article, we describe the recommendation mechanism and the incorporation of semantic knowledge for the uService platform and the uRun framework

DECOR -- Tightly Integrated Design Control and Observation

This paper presents DECOR, a configurable design flow management component for online monitoring and control of concurrent design processes. In addition, DECOR allows automatic activation of design actions. Since DECOR is tightly integrated into a framework like a usual design tool, its approach is also applicable for other frameworks. DECOR allows to control encapsulated tools as well as tools that are tightly integrated into the framework. Manipulations of data objects with arbitrary granularity from files or directories down to single structures can be considered. DECOR relies on a formal model for the specification of design process behaviour. This is especially important for environment openness, since the effect of changes to an existing design process model due to environment extensions can only be assessed if the semantics of the specified design process is clearly defined

Management of Concurrent Design Processes

This paper describes a configurable design flow management component that supplements a framework by services for online monitoring and control of concurrent design processes. With online monitoring each member of a concurrent working team knows the actual state of every object he wants to manipulate. This avoids unnecessary locking of objects that causes sequentializing of design tasks that could otherwise be performed in parallel. In addition, services for automatic execution of design actions are provided. The design management component is tightly integrated into a framework like a usual design tool. Therefore the approach may easily be transferred to other frameworks. Furthermore it is based on Predicate Transition Nets as modelling paradigm, which allow a clearly defined specification of concurrent behaviour. INTRODUCTION During the last years the "time to market" has become a key factor in many system engineering disciplines like electronics, mechanics or telecommunications. F..

Design Flow Management in Concurrent Engineering Environments

In this paper DECOR, a configurable integrated design flow mangement component that provides online monitoring and control of concurrent design processes, is described. Manipulations of data objects with arbitrary granularity from files or directories down to single structures can be considered. DECOR is based on extended Predicate Transition Nets as modelling paradigm. 1 Introduction Current development trends show that the complexity of the design process is steadily increasing. Thereby also the need for computer based support of design flow and methodology management is increased. This is mainly due to the following reasons. In integrated design environments usually more than one tool is available for the same design task, making it infeasible for a single designer to know which tools are available, which inputs they need, and when a tool can be called. A second reason, even more crucial for the complexity of design processes, is the increasing size and complexity of design problem..

A Method for Prepartitioning of Petri Net Models for Parallel Embedded Real-Time Systems

. In this paper we describe a method for prepartitioning of models for parallel embedded real-time systems. The method is part of a design methodology for embedded real-time systems, that we are actually working on. Since the methodology is based on high-level Petri Nets as unique formal model, the presented partitioning method also applies to Petri Net models. Starting from a high-level description of the system allows us to take into account some system properties and structures, that are not visible on lower abstraction levels. The prepartitioning computed by our algorithm forms a basis for the final partitioning of the system, where each partition is realized as parallel software or dedicated hardware. Its benefit is a minimal communication overhead for the parallel implementation of the system. 1 Introduction Today the usage of abstract implementation independent languages for the design of embedded systems is widely accepted. Automata-based formalisms like statechart..

The Design of Hybrid Systems using the SEA Environment

... this paper we propose a design methodology and accompanied tool support for complex hybrid system design, based on the single common model of extended Predicate/Transition Nets (Pr/T--Nets). This paradigm has been enlarged so that complete models of hybrid systems, including continuous, discrete and interface parts, can be captured. Based on this paradigm we propose a design methodology consisting of the phases specification and modeling, analysis and synthesis. For evaluation we have applied our concepts to the design of a series hybrid drive for vehicles. We mainly concentrate on the modeling issues, i.e. we describe how to capture different behaviors, how to interface between such models and how to gradually refine these models. We then describe the necessary steps within the design phases of analysis and synthesis and conclude with experiences derived from the application of our methodology

Service design studio for SaaS

The aim of the Service Design Studio project is to provide methods and tools to enable the deployment of existing software in cloud environments based on the Software-as-a-Service (SaaS) model. As the project focuses on logistics IT services, the approach is contributing to a new Logistics-as-a-Service offering. This article provides a description of the requirements analysis for enabling logistics IT services to be offered in cloud environments, the concepts for the necessary methods and tools, and the implementation of a proof of concept Service Design Studio environment

Compilation of Flow Diagrams into Target Code for Embedded Systems

In this paper we describe a part of our work on the automatic generation of target code from Stateflow models. We focus on the flow diagrams from the Stateflow component of MATLAB and describe how flow diagram models can be compiled into target code for embedded systems. Moreover, the paper describes a method for analyzing flow diagrams, allowing an efficient code generation. The method described has been implemented as a code generator for Stateflow models and integrated into the TargetLink environment from dSPACE [3, 4].